d90221c80c1baf7c45b3923a4882274be7268a5b,sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/widgets/Display.java,Display,updateLayout,#,5046
Before Change
if (taskBar != null) {
taskBar.updateLayout();
topBar.updateLayout();
shortcutBar.updateLayout();
trayCorner.updateLayout();
Element panel = document.getElementById("swt-desktop-panel");
if (panel != null) {
After Change
if (taskBar != null) {
taskBar.updateLayout();
if (topBar != null) topBar.updateLayout();
if (shortcutBar != null) shortcutBar.updateLayout();
if (trayCorner != null) trayCorner.updateLayout();
}
Element panel = document.getElementById("swt-desktop-panel");